COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.NSECP(A Few More Examples)
C00004 ENDMK
C⊗;
.NSECP(A Few More Examples)

.ONCE TURN ON "{}"

This chapter illustrates the previous chapters' discussions, by presenting
several examples of AM in action. A second purpose of this presentation is to
show the results of experiments with AM
(Section {SECNUM}.4). 

The next chapter will draw upon these examples -- and others given in the
appendices -- to form conclusions about AM. Several meta-level questions will
be tackled (e.g., What are AM's limitiations?).

In later chapters, all the ideas which are common to mathematics research,
and ultimately to empirical investiogation in general, are isolated and
packaged together as models or theories of those activities.

.B

<Go over the examples in varying levels of detail. Occasionally, give a
 "snapshot" of the new jobs, concepts, facet entries, etc.>

Consider the example of discovering cardinality

Initial behavior of the system

Proposing unique factorization

Noticing a "real" number theory conjecture

Geometry example: congruence and similarity.

.E